lpath(p) == i:(||p||-1). destination(p[i]) = source(p[i+1]) & p[i+1] = lnk-inv(p[i]) 

latex

---

clarification:

lpath(p)
== i:{0..(||p||-1)}.
== destination(p[i]) = source(p[i+1])  Id & p[i+1] = lnk-inv(p[i])  IdLnk 

latex

Definitions	x:A. B(x), {i..j}, ||as||, P & Q, Id, destination(l), source(l), A, IdLnk, lnk-inv(l), l[i]
FDL editor aliases	lpath